Skip to content

Add ignore list for CoPilot instructions propagation#3

Merged
einari merged 2 commits intomainfrom
copilot/add-ignored-repositories-list
Mar 1, 2026
Merged

Add ignore list for CoPilot instructions propagation#3
einari merged 2 commits intomainfrom
copilot/add-ignored-repositories-list

Conversation

Copy link
Contributor

Copilot AI commented Mar 1, 2026

The propagation workflow had no way to exclude specific repositories — everything in the Cratis org (minus the source repo) would receive a sync trigger.

Changes

  • propagate-copilot-instructions.yml: Introduces a hardcoded ignored_repos array checked before triggering each sync. Repositories in the list are skipped with a log message.
# Repositories to always ignore for propagation
ignored_repos=("cratis.github.io" "Workflows")

Initial ignore list: cratis.github.io, Workflows.


🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

Co-authored-by: einari <134365+einari@users.noreply.github.com>
Copilot AI changed the title [WIP] Add list of repositories to ignore for propagation Add ignore list for CoPilot instructions propagation Mar 1, 2026
@einari einari marked this pull request as ready for review March 1, 2026 15:11
@einari einari merged commit 5ad7906 into main Mar 1, 2026
@einari einari deleted the copilot/add-ignored-repositories-list branch March 1, 2026 15:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants